Experience Report: The Next 600 Haskell Programmers

نویسندگان

  • Jasmin Christian Blanchette
  • Tobias Nipkow
  • Lars Noschinski
  • Dmitriy Traytel
چکیده

We report on our experience teaching a Haskell-based functional programming course to over 600 students. The syllabus was organized around selected material from various sources. Throughout the term, we emphasized correctness through QuickCheck tests and proofs by induction. The submission architecture was coupled with automatic testing, giving students the possibility to correct mistakes before the deadline. To motivate the students, we complemented the weekly assignments with an informal competition.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Mathematics Is Imprecise

We commonly think of mathematics as bringing precision to application domains, but its relationship with computer science is more complex. This experience report on the use of Racket and Haskell to teach a required first university CS course to students with very good mathematical skills focusses on the ways that programming forces one to get the details right, with consequent benefits in the m...

متن کامل

Haskell for OCaml programmers

This introduction to Haskell is written to optimize learning by programmers who already know OCaml.

متن کامل

Type classes: an exploration of the design space

When type classes were rst introduced in Haskell they were regarded as a fairly experimental language feature, and therefore warranted a fairly conservative design. Since that time, practical experience has convinced many programmers of the bene ts and convenience of type classes. However, on occasion, these same programmers have discovered examples where seemingly natural applications for type...

متن کامل

Experience report: Haskell and mathematics

This report describes experiences with doing mathematics using Haskell in the fields of algebra and signal processing. It discusses advantages of several Haskell features and problems e.g. with respect to type classes and implicit contexts, that arise in mathematical applications. We also propose solutions including references to the Numeric Prelude project.

متن کامل

CondorCKD – Implementing an Algebraic Knowledge Discovery System in a Functional Programming Language

We introduce CondorCKD, an implementation of a novel data mining algorithm using the lazy functional programming language Haskell. While functional programming languages are often considered to be applicable to “toy problems” only, we try to give prove that these languages can of course be used to tackle demanding real-world programming tasks, and that programmers can benefit from the advantage...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2013